language n. 1.语言;(某民族,某国的)国语;语调,措词。 2.(谈话者或作者所使用的)言语,语风,文风,文体。 3.专门用语,术语。 4.(动物的)叫声;(动作,手势等所表示的)表意语。 5.【自动化】机器代码 ( = machine language )。 6.〔俚语〕粗话,骂人的话;坏话。 7.态度,立场。 8.〔古语〕民族;某国国民。 a common language 共同的语言。 a dead language 死语言。 a foreign language 外国语。 a living language 活语言。 long language (与符号语言相对的)通用语言。 oral [spoken] language 口语。 the Chinese language 汉语。 written language 书面语。 high language 夸张的言词。 in his own language 按他自己的说法。 with a great command [an easy flow] of language 口若悬河。 legal language 法律用语。 medical language 医学用语。 parliamentary language 议会辞令;有礼貌的话。 the language of diplomacy 外交辞令。 the language of the science 科学用语。 finger [gesture, sign] language 手势语。 the language of flowers 花语〔如以 lily 象征纯洁等〕。 the language of the eyes 目语,眉目传情。 billing gate language = language of the fish-market 下流的粗话。 in strong language 用激烈的下流话。 use (bad [foul, warm]) language to sb. 谩骂某人。 in fourteen languages 〔美俚〕非常。 speak the same language 说共同的语言,信仰和观点相同。 language arts (中小学的)语言艺术学科。
analysis n. (pl. -ses ) 1.分解,分析;【数学】解析。 2.梗概,要略。 3.〔美国〕用精神分析法治疗(= psychoanalysis)。 in the last analysis= on (the last) analysis 归根结底,总之。 under analysis 在精神分析治疗下。
In this dissertation we present a general , extensible methodology that examines cryptographic protocols . our approach is specify a protocol in cpal ( cryptographic protocol analysis language ) , apply hoare and dijkstra ? theory of formal semantics to it , analysis it ? forma ] semantics , define weakest precondition of each kind of language statement 我们的方法就是用cpal ( cryptographicprotocolanalysislanguage )语言来表示协议,将hoare和dijkstra在形式语义方面的理论应用到该语言,分析该语言的形式语义,定义每种语句的最弱前置条件。